Ocr Mei Core 1 10.02 Proof: Logical Equivalence